Natural numerosities of sets of tuples
نویسندگان
چکیده
منابع مشابه
Tuples of Disjoint NP-Sets
Disjoint NP-pairs are a well studied complexity-theoretic concept with important applications in cryptography and propositional proof complexity. In this paper we introduce a natural generalization of the notion of disjoint NP-pairs to disjoint k-tuples of NP-sets for k ≥ 2. We define subclasses of the class of all disjoint k-tuples of NP-sets. These subclasses are associated with a proposition...
متن کاملNumerosities of Labelled Sets: a New Way of Counting
The notions of “labelled set” and “numerosity” are introduced to generalize the counting process of finite sets. The resulting numbers, called numerosities, are then used to develop nonstandard analysis. The existence of a numerosity function is equivalent to the existence of a selective ultrafilter, hence it is independent of the axioms of ZFC.
متن کاملEecient Handling of Large Sets of Tuples with Sharing Trees Eecient Handling of Large Sets of Tuples with Sharing Trees
Computing with sets of tuples (n-ary relations) is often required in programming. This paper presents a new data structure dedicated to the manipulation of large sets of tuples, dubbed sharing tree. The main idea is to share in memory some sub-tuples of the set. We give algorithms for common set operations, that have theoretical complexities proportional to the sizes of the sharing trees given ...
متن کاملTopological aspects of dynamics of pairs, tuples and sets
Topological theory of dynamical systems concentrates on study of qualitative aspects of dynamics of continuous transformations by various topological tools (many of them are borrowed from other fields such as algebra or measure theory). The aim of this chapter is to present, by no means complete, an exposition on local aspects of dynamics of pairs, or more generally tuples and sets. It is motiv...
متن کاملRelationlog: a Typed Extension to Datalog with Sets and Tuples
This paper presents a novel logic programming based language for nested relational and complex value models called Relationlog. It stands in the same relationship to the nested relational and complex value models as Datalog stands to the relational model. The main novelty of the language is the introduction of powerful mechanisms, namely, partial and complete set terms, for representing and man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 2014
ISSN: 0002-9947,1088-6850
DOI: 10.1090/s0002-9947-2014-06136-9